(DEFUN 1GREATERP (3X 3Y) (1LESSP 3Y 3X)) 
(DEFUN 1LEQ (3X 3Y) (1NOT (1LESSP 3Y 3X))) 
(DEFUN 1GEQ (3X 3Y) (1NOT (1LESSP 3X 3Y))) 
(DEFUN 1LEGAL-CHAR-CODES NIL (QUOTE (45. 48. 49. 50. 51. 52. 53. 54. 55. 56. 57. 65. 66. 67. 68. 69. 70. 71. 72. 73. 74. 75. 76. 77. 78. 79. 80. 81. 82. 83. 84. 85. 86. 87. 88. 89. 90.))) 
(DEFUN 1ILLEGAL-FIRST-CHAR-CODES NIL (QUOTE (45. 48. 49. 50. 51. 52. 53. 54. 55. 56. 57.))) 
(DEFUN 1LENGTH (3LST) (COND ((AND (PAIRP 3LST) (NEQ (CAR 3LST) (QUOTE 1QUOTE))) (1ADD1 (1LENGTH (CDR 3LST)))) (T (QUOTE 0.)))) 
(DEFUN 1MEMBER (3X 3LST) (COND ((NEQ (1NLISTP 3LST) 1F) (QUOTE 1FALSE)) ((EQUAL 3X (1CAR 3LST)) (QUOTE 1TRUE)) (T (1MEMBER 3X (1CDR 3LST))))) 
(DEFUN 1SUBSETP (3X 3Y) (COND ((NEQ (1NLISTP 3X) 1F) (QUOTE 1TRUE)) ((NEQ (1MEMBER (1CAR 3X) 3Y) 1F) (1SUBSETP (1CDR 3X) 3Y)) (T (QUOTE 1FALSE)))) 
(DEFUN 1LAST (3L) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((AND (PAIRP (CDR 3L)) (NEQ (CAR (CDR 3L)) (QUOTE 1QUOTE))) (1LAST (CDR 3L))) (T 3L))) (T 3L))) 
(DEFUN 1LEGAL-CHAR-CODE-SEQ (3LST) (1AND (COND ((AND (PAIRP 3LST) (NEQ (CAR 3LST) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (1AND (1SUBSETP 3LST (1LEGAL-CHAR-CODES)) (1AND (1NOT (1MEMBER (1CAR 3LST) (1ILLEGAL-FIRST-CHAR-CODES))) (COND ((EQUAL (1CDR (1LAST 3LST)) (QUOTE 0.)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))))))) 
(DEFUN 1SYMBOLP (3X) (1AND (1LITATOM 3X) (1LEGAL-CHAR-CODE-SEQ (1UNPACK 3X)))) 
(DEFUN 1LOOKUP (3X 3ALIST) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1NLISTP 3ALIST) 1F) (QUOTE NIL)) ((NEQ (1AND (COND ((AND (PAIRP (SETQ 2TEMP1 (1CAR 3ALIST))) (NEQ (CAR 2TEMP1) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (COND ((EQUAL 3X (1CAR 2TEMP1)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 1F) (1CDR 2TEMP1)) (T (1LOOKUP 3X (1CDR 3ALIST)))))) 
(DEFUN 1SPLIT (3X) 3X) 
(DEFUN 1CHECK (3X) 3X) 
(DEFUN 1APPEND (3X 3Y) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (CONS (CAR 3X) (1APPEND (CDR 3X) 3Y))) (T 3Y))) 
(DEFUN 1DELETE (3X 3Y) (COND ((AND (PAIRP 3Y) (NEQ (CAR 3Y) (QUOTE 1QUOTE))) (COND ((EQUAL 3X (CAR 3Y)) (CDR 3Y)) (T (CONS (CAR 3Y) (1DELETE 3X (CDR 3Y)))))) (T 3Y))) 
(DEFUN 1SUBBAGP (3X 3Y) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (COND ((NEQ (1MEMBER (CAR 3X) 3Y) 1F) (1SUBBAGP (CDR 3X) (1DELETE (CAR 3X) 3Y))) (T (QUOTE 1FALSE)))) (T (QUOTE 1TRUE)))) 
(DEFUN 1BAGDIFF (3X 3Y) (COND ((AND (PAIRP 3Y) (NEQ (CAR 3Y) (QUOTE 1QUOTE))) (COND ((NEQ (1MEMBER (CAR 3Y) 3X) 1F) (1BAGDIFF (1DELETE (CAR 3Y) 3X) (CDR 3Y))) (T (1BAGDIFF 3X (CDR 3Y))))) (T 3X))) 
(DEFUN 1BAGINT (3X 3Y) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (COND ((NEQ (1MEMBER (CAR 3X) 3Y) 1F) (CONS (CAR 3X) (1BAGINT (CDR 3X) (1DELETE (CAR 3X) 3Y)))) (T (1BAGINT (CDR 3X) 3Y)))) (T (QUOTE NIL)))) 
(DEFUN 1PLUS-FRINGE (3X) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1AND (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (COND ((EQ (1CAR 3X) (QUOTE PLUS)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 1F) (1APPEND (1PLUS-FRINGE (1CAR (SETQ 2TEMP1 (1CDR 3X)))) (1PLUS-FRINGE (1CAR (1CDR 2TEMP1))))) (T (CONS 3X (QUOTE NIL)))))) 
(DEFUN 1PLUS-TREE (3L) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE (QUOTE 0.))) ((NEQ (1NLISTP (SETQ 2TEMP1 (1CDR 3L))) 1F) (CONS (QUOTE FIX) (CONS (1CAR 3L) (QUOTE NIL)))) ((NEQ (1NLISTP (1CDR 2TEMP1)) 1F) (CONS (QUOTE PLUS) (CONS (1CAR 3L) (CONS (1CAR 2TEMP1) (QUOTE NIL))))) (T (CONS (QUOTE PLUS) (CONS (1CAR 3L) (CONS (1PLUS-TREE 2TEMP1) (QUOTE NIL)))))))) 
(DEFUN 1CANCEL (3X) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X)) (2TEMP3 (QUOTE 1X)) (2TEMP4 (QUOTE 1X)) (2TEMP5 (QUOTE 1X)) (2TEMP6 (QUOTE 1X)) (2TEMP7 (QUOTE 1X)) (2TEMP8 (QUOTE 1X)) (2TEMP9 (QUOTE 1X)) (2TEMP10 (QUOTE 1X)) (2TEMP11 (QUOTE 1X)) (2TEMP12 (QUOTE 1X))) (COND ((NEQ (1AND (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (COND ((EQ (1CAR 3X) (QUOTE EQUAL)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 1F) (COND ((NEQ (1AND (SETQ 2TEMP12 (COND ((AND (PAIRP (SETQ 2TEMP11 (1CAR (SETQ 2TEMP10 (1CDR 3X))))) (NEQ (CAR 2TEMP11) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) (1AND (SETQ 2TEMP9 (COND ((EQ (SETQ 2TEMP8 (1CAR 2TEMP11)) (QUOTE PLUS)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) (1AND (SETQ 2TEMP7 (COND ((AND (PAIRP (SETQ 2TEMP6 (1CAR (1CDR 2TEMP10)))) (NEQ (CAR 2TEMP6) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) (SETQ 2TEMP5 (COND ((EQ (SETQ 2TEMP4 (1CAR 2TEMP6)) (QUOTE PLUS)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))))))) 1F) (CONS (QUOTE EQUAL) (CONS (1PLUS-TREE (1BAGDIFF (SETQ 2TEMP3 (1PLUS-FRINGE 2TEMP11)) (SETQ 2TEMP2 (1BAGINT 2TEMP3 (SETQ 2TEMP1 (1PLUS-FRINGE 2TEMP6)))))) (CONS (1PLUS-TREE (1BAGDIFF 2TEMP1 2TEMP2)) (QUOTE NIL))))) ((NEQ (1AND 2TEMP12 (1AND 2TEMP9 (1MEMBER 2TEMP6 (SETQ 2TEMP3 (1PLUS-FRINGE 2TEMP11))))) 1F) (CONS (QUOTE IF) (CONS (CONS (QUOTE NUMBERP) (CONS 2TEMP6 (QUOTE NIL))) (CONS (CONS (QUOTE EQUAL) (CONS (1PLUS-TREE (1DELETE 2TEMP6 2TEMP3)) (QUOTE ((QUOTE 0.))))) (QUOTE ((QUOTE 1FALSE))))))) ((NEQ (1AND 2TEMP7 (1AND 2TEMP5 (1MEMBER 2TEMP11 (SETQ 2TEMP1 (1PLUS-FRINGE 2TEMP6))))) 1F) (CONS (QUOTE IF) (CONS (CONS (QUOTE NUMBERP) (CONS 2TEMP11 (QUOTE NIL))) (CONS (CONS (QUOTE EQUAL) (CONS (QUOTE (QUOTE 0.)) (CONS (1PLUS-TREE (1DELETE 2TEMP11 2TEMP1)) (QUOTE NIL)))) (QUOTE ((QUOTE 1FALSE))))))) (T 3X))) (T 3X)))) 
(DEFUN 1REVERSE (3X) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (1APPEND (1REVERSE (CDR 3X)) (CONS (CAR 3X) (QUOTE NIL)))) (T (QUOTE NIL)))) 
(DEFUN 1PLISTP (3X) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (1PLISTP (CDR 3X))) ((EQ 3X (QUOTE NIL)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 
(DEFUN 1PUSH (TOP POP) (LIST 1SHELL-QUOTE-MARK (QUOTE PUSH) (COND ((NOT (OR)) TOP) (T (1ZERO))) (COND ((NOT (OR)) POP) (T (1ZERO))))) 
(DEFUN 1STACKP (X) (COND ((AND (PAIRP X) (EQ (CAR X) 1SHELL-QUOTE-MARK) (EQ (CADR X) (QUOTE PUSH))) 1T) (T 1F))) 
(DEFUN 1TOP (X) (COND ((EQ (1STACKP X) 1T) (CAR (CDR (CDR X)))) (T (1ZERO)))) 
(DEFUN 1POP (X) (COND ((EQ (1STACKP X) 1T) (CAR (CDR (CDR (CDR X))))) (T (1ZERO)))) 
(DEFUN 1EXPRESSIONP (3X) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (COND ((AND (PAIRP (CAR 3X)) (NEQ (CAR (CAR 3X)) (QUOTE 1QUOTE))) (QUOTE 1FALSE)) ((AND (PAIRP (CDR 3X)) (NEQ (CAR (CDR 3X)) (QUOTE 1QUOTE))) (COND ((AND (PAIRP (CDR (CDR 3X))) (NEQ (CAR (CDR (CDR 3X))) (QUOTE 1QUOTE))) (COND ((NEQ (1EXPRESSIONP (CAR (CDR 3X))) 1F) (1EXPRESSIONP (CAR (CDR (CDR 3X))))) (T (QUOTE 1FALSE)))) (T (QUOTE 1FALSE)))) (T (QUOTE 1FALSE)))) (T (QUOTE 1TRUE)))) 
(DEFUN 1CODEGEN (3FORM 3INS) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X))) (COND ((NEQ (1NUMBERP 3FORM) 1F) (CONS (CONS (QUOTE PUSHI) (CONS 3FORM (QUOTE NIL))) 3INS)) ((AND (PAIRP (SETQ 2TEMP2 (1CDR (SETQ 2TEMP1 (1CDR 3FORM))))) (NEQ (CAR 2TEMP2) (QUOTE 1QUOTE))) (CONS (1CAR 3FORM) (1CODEGEN (CAR 2TEMP2) (1CODEGEN (1CAR 2TEMP1) 3INS)))) (T (CONS (CONS (QUOTE PUSHV) (CONS 3FORM (QUOTE NIL))) 3INS))))) 
(DEFUN 1EQP (3X 3Y) (COND ((EQUAL (1FIX 3X) (1FIX 3Y)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 
(DEFUN 1FLATTEN (3X) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (1APPEND (1FLATTEN (CAR 3X)) (1FLATTEN (CDR 3X)))) (T (CONS 3X (QUOTE NIL))))) 
(DEFUN 1MC-FLATTEN (3X 3Y) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (1MC-FLATTEN (CAR 3X) (1MC-FLATTEN (CDR 3X) 3Y))) (T (CONS 3X 3Y)))) 
(DEFUN 1INTERSECT (3X 3Y) (LET NIL (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (COND ((NEQ (1MEMBER (CAR 3X) 3Y) 1F) (CONS (CAR 3X) (1INTERSECT (CDR 3X) 3Y))) (T (1INTERSECT (CDR 3X) 3Y)))) (T (QUOTE NIL))))) 
(DEFUN 1UNION (3X 3Y) (LET NIL (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (COND ((NEQ (1MEMBER (CAR 3X) 3Y) 1F) (1UNION (CDR 3X) 3Y)) (T (CONS (CAR 3X) (1UNION (CDR 3X) 3Y))))) (T 3Y)))) 
(DEFUN 1NTH (3X 3N) (COND ((NEQ (1ZEROP 3N) 1F) 3X) (T (1NTH (1CDR 3X) (1SUB1 3N))))) 
(DEFUN 1GREATEREQP (3X 3Y) (1NOT (1LESSP 3X 3Y))) 
(DEFUN 1ORDERED (3L) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((AND (PAIRP (CDR 3L)) (NEQ (CAR (CDR 3L)) (QUOTE 1QUOTE))) (COND ((NEQ (1LESSP (CAR (CDR 3L)) (CAR 3L)) 1F) (QUOTE 1FALSE)) (T (1ORDERED (CDR 3L))))) (T (QUOTE 1TRUE)))) (T (QUOTE 1TRUE)))) 
(DEFUN 1ADDTOLIST (3X 3L) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((NEQ (1LESSP 3X (CAR 3L)) 1F) (CONS 3X 3L)) (T (CONS (CAR 3L) (1ADDTOLIST 3X (CDR 3L)))))) (T (CONS 3X (QUOTE NIL))))) 
(DEFUN 1SORT (3L) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (1ADDTOLIST (CAR 3L) (1SORT (CDR 3L)))) (T (QUOTE NIL)))) 
(DEFUN 1ASSOC (3X 3Y) (COND ((AND (PAIRP 3Y) (NEQ (CAR 3Y) (QUOTE 1QUOTE))) (COND ((EQUAL 3X (1CAR (CAR 3Y))) (CAR 3Y)) (T (1ASSOC 3X (CDR 3Y))))) (T (QUOTE NIL)))) 
(DEFUN 1BOOLEAN (3X) (1OR (COND ((EQ 3X (QUOTE 1TRUE)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (COND ((EQ 3X (QUOTE 1FALSE)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))))) 
(DEFUN 1IFF (3X 3Y) (1AND (1IMPLIES 3X 3Y) (1IMPLIES 3Y 3X))) 
(DEFUN 1ODD (3X) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1ZEROP 3X) 1F) (QUOTE 1FALSE)) ((NEQ (1ZEROP (SETQ 2TEMP1 (1SUB1 3X))) 1F) (QUOTE 1TRUE)) (T (1ODD (1SUB1 2TEMP1)))))) 
(DEFUN 1EVEN1 (3X) (COND ((NEQ (1ZEROP 3X) 1F) (QUOTE 1TRUE)) (T (1ODD (1SUB1 3X))))) 
(DEFUN 1EVEN2 (3X) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1ZEROP 3X) 1F) (QUOTE 1TRUE)) ((NEQ (1ZEROP (SETQ 2TEMP1 (1SUB1 3X))) 1F) (QUOTE 1FALSE)) (T (1EVEN2 (1SUB1 2TEMP1)))))) 
(DEFUN 1DOUBLE (3I) (COND ((NEQ (1ZEROP 3I) 1F) (QUOTE 0.)) (T (1ADD1 (1ADD1 (1DOUBLE (1SUB1 3I))))))) 
(DEFUN 1HALF (3I) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1ZEROP 3I) 1F) (QUOTE 0.)) ((NEQ (1ZEROP (SETQ 2TEMP1 (1SUB1 3I))) 1F) (QUOTE 0.)) (T (1ADD1 (1HALF (1SUB1 2TEMP1))))))) 
(DEFUN 1EXP (3I 3J) (COND ((NEQ (1ZEROP 3J) 1F) (QUOTE 1.)) (T (1TIMES 3I (1EXP 3I (1SUB1 3J)))))) 
(DEFUN 1COUNT-LIST (3A 3L) (LET NIL (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((EQUAL 3A (CAR 3L)) (1ADD1 (1COUNT-LIST 3A (CDR 3L)))) (T (1COUNT-LIST 3A (CDR 3L))))) (T (QUOTE 0.))))) 
(DEFUN 1NUMBER-LISTP (3L) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((NEQ (1NUMBERP (CAR 3L)) 1F) (1NUMBER-LISTP (CDR 3L))) (T (QUOTE 1FALSE)))) ((EQ 3L (QUOTE NIL)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 
(DEFUN 1XOR (3P 3Q) (COND ((NEQ 3Q 1F) (COND ((NEQ 3P 1F) (QUOTE 1FALSE)) (T (QUOTE 1TRUE)))) ((EQ 3P (QUOTE 1TRUE)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 
(DEFUN 1SUBST (3X 3Y 3Z) (COND ((EQUAL 3Y 3Z) 3X) ((AND (PAIRP 3Z) (NEQ (CAR 3Z) (QUOTE 1QUOTE))) (CONS (1SUBST 3X 3Y (CAR 3Z)) (1SUBST 3X 3Y (CDR 3Z)))) (T 3Z))) 
(DEFUN 1OCCUR (3X 3Y) (COND ((EQUAL 3X 3Y) (QUOTE 1TRUE)) ((AND (PAIRP 3Y) (NEQ (CAR 3Y) (QUOTE 1QUOTE))) (COND ((NEQ (1OCCUR 3X (CAR 3Y)) 1F) (QUOTE 1TRUE)) (T (1OCCUR 3X (CDR 3Y))))) (T (QUOTE 1FALSE)))) 
(DEFUN 1FACT (3I) (COND ((NEQ (1ZEROP 3I) 1F) (QUOTE 1.)) (T (1TIMES 3I (1FACT (1SUB1 3I)))))) 
(DEFUN 1FACT-LOOP (3I 3ANS) (COND ((NEQ (1ZEROP 3I) 1F) 3ANS) (T (1FACT-LOOP (1SUB1 3I) (1TIMES 3I 3ANS))))) 
(DEFUN 1FACT- (3I) (1FACT-LOOP 3I (QUOTE 1.))) 
(DEFUN 1REVERSE-LOOP (3X 3ANS) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (1REVERSE-LOOP (CDR 3X) (CONS (CAR 3X) 3ANS))) (T 3ANS))) 
(DEFUN 1REVERSE- (3X) (1REVERSE-LOOP 3X (QUOTE NIL))) 
(DEFUN 1SORT-LP (3X 3Y) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (1SORT-LP (CDR 3X) (1ADDTOLIST (CAR 3X) 3Y))) (T 3Y))) 
(DEFUN 1POWER-EVAL (3L 3BASE) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (1PLUS (CAR 3L) (1TIMES 3BASE (1POWER-EVAL (CDR 3L) 3BASE)))) (T (QUOTE 0.)))) 
(DEFUN 1BIG-PLUS1 (3L 3I 3BASE) (LET ((2TEMP1 (QUOTE 1X))) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((NEQ (1ZEROP 3I) 1F) 3L) (T (CONS (1REMAINDER (SETQ 2TEMP1 (1PLUS (CAR 3L) 3I)) 3BASE) (1BIG-PLUS1 (CDR 3L) (1QUOTIENT 2TEMP1 3BASE) 3BASE))))) (T (CONS 3I (QUOTE NIL)))))) 
(DEFUN 1BIG-PLUS (3X 3Y 3I 3BASE) (LET ((2TEMP1 (QUOTE 1X))) (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (COND ((AND (PAIRP 3Y) (NEQ (CAR 3Y) (QUOTE 1QUOTE))) (CONS (1REMAINDER (SETQ 2TEMP1 (1PLUS 3I (1PLUS (CAR 3X) (CAR 3Y)))) 3BASE) (1BIG-PLUS (CDR 3X) (CDR 3Y) (1QUOTIENT 2TEMP1 3BASE) 3BASE))) (T (1BIG-PLUS1 3X 3I 3BASE)))) (T (1BIG-PLUS1 3Y 3I 3BASE))))) 
(DEFUN 1POWER-REP (3I 3BASE) (LET NIL (COND ((NEQ (1ZEROP 3I) 1F) (QUOTE NIL)) ((NEQ (1ZEROP 3BASE) 1F) (CONS 3I (QUOTE NIL))) ((EQUAL 3BASE (QUOTE 1.)) (CONS 3I (QUOTE NIL))) (T (CONS (1REMAINDER 3I 3BASE) (1POWER-REP (1QUOTIENT 3I 3BASE) 3BASE)))))) 
(DEFUN 1GCD (3X 3Y) (COND ((NEQ (1ZEROP 3X) 1F) (1FIX 3Y)) ((NEQ (1ZEROP 3Y) 1F) 3X) ((NEQ (1LESSP 3X 3Y) 1F) (1GCD 3X (1DIFFERENCE 3Y 3X))) (T (1GCD (1DIFFERENCE 3X 3Y) 3Y)))) 
(DEFUN 1DIVIDES (3X 3Y) (1ZEROP (1REMAINDER 3Y 3X))) 
(DEFUN 1CONS-IF (TEST LEFT-BRANCH RIGHT-BRANCH) (LIST 1SHELL-QUOTE-MARK (QUOTE CONS-IF) (COND ((NOT (OR)) TEST) (T (1ZERO))) (COND ((NOT (OR)) LEFT-BRANCH) (T (1ZERO))) (COND ((NOT (OR)) RIGHT-BRANCH) (T (1ZERO))))) 
(DEFUN 1IF-EXPRP (X) (COND ((AND (PAIRP X) (EQ (CAR X) 1SHELL-QUOTE-MARK) (EQ (CADR X) (QUOTE CONS-IF))) 1T) (T 1F))) 
(DEFUN 1TEST (X) (COND ((EQ (1IF-EXPRP X) 1T) (CAR (CDR (CDR X)))) (T (1ZERO)))) 
(DEFUN 1LEFT-BRANCH (X) (COND ((EQ (1IF-EXPRP X) 1T) (CAR (CDR (CDR (CDR X))))) (T (1ZERO)))) 
(DEFUN 1RIGHT-BRANCH (X) (COND ((EQ (1IF-EXPRP X) 1T) (CAR (CDR (CDR (CDR (CDR X)))))) (T (1ZERO)))) 
(DEFUN 1ASSIGNMENT (3VAR 3ALIST) (LET ((2TEMP1 (QUOTE 1X))) (COND ((EQ 3VAR (QUOTE 1TRUE)) (QUOTE 1TRUE)) ((EQ 3VAR (QUOTE 1FALSE)) (QUOTE 1FALSE)) ((NEQ (1NLISTP 3ALIST) 1F) (QUOTE 1FALSE)) ((EQUAL 3VAR (1CAR (SETQ 2TEMP1 (1CAR 3ALIST)))) (1CDR 2TEMP1)) (T (1ASSIGNMENT 3VAR (1CDR 3ALIST)))))) 
(DEFUN 1VALUE (3X 3ALIST) (COND ((NEQ (1IF-EXPRP 3X) 1F) (COND ((NEQ (1VALUE (1TEST 3X) 3ALIST) 1F) (1VALUE (1LEFT-BRANCH 3X) 3ALIST)) (T (1VALUE (1RIGHT-BRANCH 3X) 3ALIST)))) (T (1ASSIGNMENT 3X 3ALIST)))) 
(DEFUN 1IF-DEPTH (3X) (COND ((NEQ (1IF-EXPRP 3X) 1F) (1ADD1 (1IF-DEPTH (1TEST 3X)))) (T (QUOTE 0.)))) 
(DEFUN 1IF-COMPLEXITY (3X) (COND ((NEQ (1IF-EXPRP 3X) 1F) (1TIMES (1IF-COMPLEXITY (1TEST 3X)) (1PLUS (1IF-COMPLEXITY (1LEFT-BRANCH 3X)) (1IF-COMPLEXITY (1RIGHT-BRANCH 3X))))) (T (QUOTE 1.)))) 
(DEFUN 1NORMALIZE (3X) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X)) (2TEMP3 (QUOTE 1X))) (COND ((NEQ (1IF-EXPRP 3X) 1F) (COND ((NEQ (1IF-EXPRP (SETQ 2TEMP3 (1TEST 3X))) 1F) (1NORMALIZE (1CONS-IF (1TEST 2TEMP3) (1CONS-IF (1LEFT-BRANCH 2TEMP3) (SETQ 2TEMP2 (1LEFT-BRANCH 3X)) (SETQ 2TEMP1 (1RIGHT-BRANCH 3X))) (1CONS-IF (1RIGHT-BRANCH 2TEMP3) 2TEMP2 2TEMP1)))) (T (1CONS-IF 2TEMP3 (1NORMALIZE (1LEFT-BRANCH 3X)) (1NORMALIZE (1RIGHT-BRANCH 3X)))))) (T 3X)))) 
(DEFUN 1NORMALIZED-IF-EXPRP (3X) (COND ((NEQ (1IF-EXPRP 3X) 1F) (1AND (1NOT (1IF-EXPRP (1TEST 3X))) (1AND (1NORMALIZED-IF-EXPRP (1LEFT-BRANCH 3X)) (1NORMALIZED-IF-EXPRP (1RIGHT-BRANCH 3X))))) (T (QUOTE 1TRUE)))) 
(DEFUN 1ASSIGNEDP (3VAR 3ALIST) (COND ((EQ 3VAR (QUOTE 1TRUE)) (QUOTE 1TRUE)) ((EQ 3VAR (QUOTE 1FALSE)) (QUOTE 1TRUE)) ((NEQ (1NLISTP 3ALIST) 1F) (QUOTE 1FALSE)) ((EQUAL 3VAR (1CAR (1CAR 3ALIST))) (QUOTE 1TRUE)) (T (1ASSIGNEDP 3VAR (1CDR 3ALIST))))) 
(DEFUN 1ASSUME-TRUE (3VAR 3ALIST) (CONS (CONS 3VAR (QUOTE 1TRUE)) 3ALIST)) 
(DEFUN 1ASSUME-FALSE (3VAR 3ALIST) (CONS (CONS 3VAR (QUOTE 1FALSE)) 3ALIST)) 
(DEFUN 1TAUTOLOGYP (3X 3ALIST) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1IF-EXPRP 3X) 1F) (COND ((NEQ (1ASSIGNEDP (SETQ 2TEMP1 (1TEST 3X)) 3ALIST) 1F) (COND ((NEQ (1ASSIGNMENT 2TEMP1 3ALIST) 1F) (1TAUTOLOGYP (1LEFT-BRANCH 3X) 3ALIST)) (T (1TAUTOLOGYP (1RIGHT-BRANCH 3X) 3ALIST)))) (T (1AND (1TAUTOLOGYP (1LEFT-BRANCH 3X) (1ASSUME-TRUE 2TEMP1 3ALIST)) (1TAUTOLOGYP (1RIGHT-BRANCH 3X) (1ASSUME-FALSE 2TEMP1 3ALIST)))))) (T (1ASSIGNMENT 3X 3ALIST))))) 
(DEFUN 1TAUTOLOGY-CHECKER (3X) (1TAUTOLOGYP (1NORMALIZE 3X) (QUOTE NIL))) 
(DEFUN 1FALSIFY1 (3X 3ALIST) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X)) (2TEMP3 (QUOTE 1X))) (COND ((NEQ (1IF-EXPRP 3X) 1F) (COND ((NEQ (1ASSIGNEDP (SETQ 2TEMP3 (1TEST 3X)) 3ALIST) 1F) (COND ((NEQ (1ASSIGNMENT 2TEMP3 3ALIST) 1F) (1FALSIFY1 (1LEFT-BRANCH 3X) 3ALIST)) (T (1FALSIFY1 (1RIGHT-BRANCH 3X) 3ALIST)))) ((NEQ (SETQ 2TEMP1 (1FALSIFY1 (SETQ 2TEMP2 (1LEFT-BRANCH 3X)) (1ASSUME-TRUE 2TEMP3 3ALIST))) 1F) 2TEMP1) (T (1FALSIFY1 (1RIGHT-BRANCH 3X) (1ASSUME-FALSE 2TEMP3 3ALIST))))) ((NEQ (1ASSIGNEDP 3X 3ALIST) 1F) (COND ((NEQ (1ASSIGNMENT 3X 3ALIST) 1F) (QUOTE 1FALSE)) (T 3ALIST))) (T (CONS (CONS 3X (QUOTE 1FALSE)) 3ALIST))))) 
(DEFUN 1FALSIFY (3X) (1FALSIFY1 (1NORMALIZE 3X) (QUOTE NIL))) 
(DEFUN 1LEFTCOUNT (3X) (COND ((NEQ (1NLISTP 3X) 1F) (QUOTE 0.)) (T (1ADD1 (1LEFTCOUNT (1CAR 3X)))))) 
(DEFUN 1GOPHER (3X) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1OR (1NLISTP 3X) (1NLISTP (SETQ 2TEMP1 (1CAR 3X)))) 1F) 3X) (T (1GOPHER (CONS (1CAR 2TEMP1) (CONS (1CDR 2TEMP1) (1CDR 3X)))))))) 
(DEFUN 1SAMEFRINGE (3X 3Y) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X))) (COND ((NEQ (1OR (1NLISTP 3X) (1NLISTP 3Y)) 1F) (COND ((EQUAL 3X 3Y) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) (T (1AND (COND ((EQUAL (1CAR (SETQ 2TEMP2 (1GOPHER 3X))) (1CAR (SETQ 2TEMP1 (1GOPHER 3Y)))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (1SAMEFRINGE (1CDR 2TEMP2) (1CDR 2TEMP1))))))) 
(DEFUN 1PRIME1 (3X 3Y) (COND ((NEQ (1ZEROP 3Y) 1F) (QUOTE 1FALSE)) ((EQUAL 3Y (QUOTE 1.)) (QUOTE 1TRUE)) (T (1AND (1NOT (1DIVIDES 3Y 3X)) (1PRIME1 3X (1SUB1 3Y)))))) 
(DEFUN 1PRIME (3X) (1AND (1NOT (1ZEROP 3X)) (1AND (1NOT (COND ((EQUAL 3X (QUOTE 1.)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) (1PRIME1 3X (1SUB1 3X))))) 
(DEFUN 1GREATEST-FACTOR (3X 3Y) (COND ((NEQ (1OR (1ZEROP 3Y) (COND ((EQUAL 3Y (QUOTE 1.)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 1F) 3X) ((NEQ (1DIVIDES 3Y 3X) 1F) 3Y) (T (1GREATEST-FACTOR 3X (1SUB1 3Y))))) 
(DEFUN 1PRIME-FACTORS (3X) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X))) (COND ((NEQ (1OR (1ZEROP 3X) (COND ((EQUAL (SETQ 2TEMP2 (1SUB1 3X)) (QUOTE 0.)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 1F) (QUOTE NIL)) ((NEQ (1PRIME1 3X 2TEMP2) 1F) (CONS 3X (QUOTE NIL))) (T (1APPEND (1PRIME-FACTORS (SETQ 2TEMP1 (1GREATEST-FACTOR 3X 2TEMP2))) (1PRIME-FACTORS (1QUOTIENT 3X 2TEMP1))))))) 
(DEFUN 1PRIME-LIST (3L) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE 1TRUE)) (T (1AND (1PRIME (1CAR 3L)) (1PRIME-LIST (1CDR 3L)))))) 
(DEFUN 1TIMES-LIST (3L) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE 1.)) (T (1TIMES (1CAR 3L) (1TIMES-LIST (1CDR 3L)))))) 
(DEFUN 1GREATEREQPR (3W 3Z) (COND ((NEQ (1ZEROP 3W) 1F) (1ZEROP 3Z)) ((EQUAL 3W 3Z) (QUOTE 1TRUE)) (T (1GREATEREQPR (1SUB1 3W) 3Z)))) 
(DEFUN 1PERM (3A 3B) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1NLISTP 3A) 1F) (1NLISTP 3B)) ((NEQ (1MEMBER (SETQ 2TEMP1 (1CAR 3A)) 3B) 1F) (1PERM (1CDR 3A) (1DELETE 2TEMP1 3B))) (T (QUOTE 1FALSE))))) 
(DEFUN 1MAXIMUM (3L) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X))) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE 0.)) ((NEQ (1LESSP (SETQ 2TEMP2 (1CAR 3L)) (SETQ 2TEMP1 (1MAXIMUM (1CDR 3L)))) 1F) 2TEMP1) (T 2TEMP2)))) 
(DEFUN 1ORDERED2 (3L) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((AND (PAIRP (CDR 3L)) (NEQ (CAR (CDR 3L)) (QUOTE 1QUOTE))) (COND ((NEQ (1LESSP (CAR 3L) (CAR (CDR 3L))) 1F) (QUOTE 1FALSE)) (T (1ORDERED2 (CDR 3L))))) (T (QUOTE 1TRUE)))) (T (QUOTE 1TRUE)))) 
(DEFUN 1DSORT (3L) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE NIL)) (T (CONS (SETQ 2TEMP1 (1MAXIMUM 3L)) (1DSORT (1DELETE 2TEMP1 3L))))))) 
(DEFUN 1ADDTOLIST2 (3X 3L) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((NEQ (1LESSP 3X (CAR 3L)) 1F) (CONS (CAR 3L) (1ADDTOLIST2 3X (CDR 3L)))) (T (CONS 3X 3L)))) (T (CONS 3X (QUOTE NIL))))) 
(DEFUN 1SORT2 (3L) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE NIL)) (T (1ADDTOLIST2 (1CAR 3L) (1SORT2 (1CDR 3L)))))) 
(DEFUN 1SIGMA (3M 3N) (COND ((NEQ (1LESSP 3M 3N) 1F) (1PLUS 3N (1SIGMA 3M (1SUB1 3N)))) (T (QUOTE 0.)))) 
(DEFUN 1PROG-TRANS-OF-SIGMA (3I 3AC) (COND ((NEQ (1ZEROP 3I) 1F) 3AC) (T (1PROG-TRANS-OF-SIGMA (1DIFFERENCE 3I (QUOTE 1.)) (1PLUS 3AC 3I))))) 
(DEFUN 1SET (3ADDR 3VAL 3MEM) (LET NIL (COND ((NEQ (1ZEROP 3ADDR) 1F) (CONS 3VAL (1CDR 3MEM))) (T (CONS (1CAR 3MEM) (1SET (1SUB1 3ADDR) 3VAL (1CDR 3MEM))))))) 
(DEFUN 1GET (3ADDR 3MEM) (COND ((NEQ (1ZEROP 3ADDR) 1F) (1CAR 3MEM)) (T (1GET (1SUB1 3ADDR) (1CDR 3MEM))))) 
(DEFUN 1EXECUTE1 (3PC 3MEM 3MAX) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X)) (2TEMP3 (QUOTE 1X)) (2TEMP4 (QUOTE 1X))) (COND ((NEQ (1NOT (1LESSP 3PC 3MAX)) 1F) (CONS (QUOTE 1FALSE) (CONS 3MEM (QUOTE NIL)))) ((EQUAL (SETQ 2TEMP4 (1GET 3PC 3MEM)) (QUOTE (STOP))) (CONS (QUOTE 1FALSE) (CONS 3MEM (QUOTE NIL)))) ((EQ (SETQ 2TEMP3 (1CAR 2TEMP4)) (QUOTE JUMPA)) (CONS (1CAR (1CDR 2TEMP4)) (CONS 3MEM (QUOTE NIL)))) ((EQ 2TEMP3 (QUOTE SKIPNE)) (COND ((NEQ (1ZEROP (1GET (1CAR (1CDR 2TEMP4)) 3MEM)) 1F) (1EXECUTE1 (1ADD1 3PC) 3MEM 3MAX)) (T (1EXECUTE1 (1ADD1 (1ADD1 3PC)) 3MEM 3MAX)))) ((EQ 2TEMP3 (QUOTE SUBI)) (1EXECUTE1 (1ADD1 3PC) (1SET (SETQ 2TEMP2 (1CAR (SETQ 2TEMP1 (1CDR 2TEMP4)))) (1DIFFERENCE (1GET 2TEMP2 3MEM) (1CAR (1CDR 2TEMP1))) 3MEM) 3MAX)) ((EQ 2TEMP3 (QUOTE ADDI)) (1EXECUTE1 (1ADD1 3PC) (1SET (SETQ 2TEMP2 (1CAR (SETQ 2TEMP1 (1CDR 2TEMP4)))) (1PLUS (1CAR (1CDR 2TEMP1)) (1GET 2TEMP2 3MEM)) 3MEM) 3MAX)) ((EQ 2TEMP3 (QUOTE ADD)) (1EXECUTE1 (1ADD1 3PC) (1SET (SETQ 2TEMP2 (1CAR (SETQ 2TEMP1 (1CDR 2TEMP4)))) (1PLUS (1GET (1CAR (1CDR 2TEMP1)) 3MEM) (1GET 2TEMP2 3MEM)) 3MEM) 3MAX)) ((EQ 2TEMP3 (QUOTE MOVEI)) (1EXECUTE1 (1ADD1 3PC) (1SET (1CAR (SETQ 2TEMP1 (1CDR 2TEMP4))) (1CAR (1CDR 2TEMP1)) 3MEM) 3MAX)) (T (CONS (QUOTE 1FALSE) (CONS 3MEM (QUOTE NIL))))))) 
(DEFUN 1EXECUTE (3PC 3MEM 3CLK) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1ZEROP 3CLK) 1F) 3MEM) ((NEQ (1NUMBERP 3PC) 1F) (1EXECUTE (1CAR (SETQ 2TEMP1 (1EXECUTE1 3PC 3MEM (1LENGTH 3MEM)))) (1CAR (1CDR 2TEMP1)) (1SUB1 3CLK))) (T 3MEM)))) 
(DEFUN 1GET-SIMPLIFIER (3X) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X)) (2TEMP3 (QUOTE 1X))) (COND ((NEQ (1AND (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (1AND (COND ((EQ (1CAR 3X) (QUOTE GET)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (1AND (COND ((AND (PAIRP (SETQ 2TEMP3 (1CAR (SETQ 2TEMP2 (1CDR 3X))))) (NEQ (CAR 2TEMP3) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (COND ((EQ (1CAR 2TEMP3) (QUOTE QUOTE)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))))) 1F) (COND ((NEQ (1ZEROP (SETQ 2TEMP1 (1CAR (1CDR 2TEMP3)))) 1F) (CONS (QUOTE CAR) (CONS (1CAR (1CDR 2TEMP2)) (QUOTE NIL)))) (T (CONS (QUOTE GET) (CONS (CONS (QUOTE QUOTE) (CONS (1SUB1 2TEMP1) (QUOTE NIL))) (CONS (CONS (QUOTE CDR) (CONS (1CAR (1CDR 2TEMP2)) (QUOTE NIL))) (QUOTE NIL))))))) (T 3X)))) 
(DEFUN 1SET-SIMPLIFIER (3X) (LET ((2TEMP1 (QUOTE 1X)) (2TEMP2 (QUOTE 1X)) (2TEMP3 (QUOTE 1X)) (2TEMP4 (QUOTE 1X)) (2TEMP5 (QUOTE 1X))) (COND ((NEQ (1AND (COND ((AND (PAIRP 3X) (NEQ (CAR 3X) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (1AND (COND ((EQ (1CAR 3X) (QUOTE SET)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (1AND (COND ((AND (PAIRP (SETQ 2TEMP5 (1CAR (SETQ 2TEMP4 (1CDR 3X))))) (NEQ (CAR 2TEMP5) (QUOTE 1QUOTE))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE))) (COND ((EQ (1CAR 2TEMP5) (QUOTE QUOTE)) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))))) 1F) (COND ((NEQ (1ZEROP (SETQ 2TEMP3 (1CAR (1CDR 2TEMP5)))) 1F) (CONS (QUOTE CONS) (CONS (1CAR (SETQ 2TEMP2 (1CDR 2TEMP4))) (CONS (CONS (QUOTE CDR) (CONS (1CAR (1CDR 2TEMP2)) (QUOTE NIL))) (QUOTE NIL))))) (T (CONS (QUOTE CONS) (CONS (CONS (QUOTE CAR) (SETQ 2TEMP1 (CONS (1CAR (1CDR (SETQ 2TEMP2 (1CDR 2TEMP4)))) (QUOTE NIL)))) (CONS (CONS (QUOTE SET) (CONS (CONS (QUOTE QUOTE) (CONS (1SUB1 2TEMP3) (QUOTE NIL))) (CONS (1CAR 2TEMP2) (CONS (CONS (QUOTE CDR) 2TEMP1) (QUOTE NIL))))) (QUOTE NIL))))))) (T 3X)))) 
(DEFUN 1F0 (3X) (COND ((NEQ (1LESSP (QUOTE 100.) 3X) 1F) (1DIFFERENCE 3X (QUOTE 10.))) (T (QUOTE 91.)))) 
(DEFUN 1F91 (3X) (COND ((NEQ (1LESSP (QUOTE 100.) 3X) 1F) (1DIFFERENCE 3X (QUOTE 10.))) (T (1F91 (1F91 (1PLUS 3X (QUOTE 11.))))))) 
(DEFUN 1EVEN (3X) (COND ((EQUAL (QUOTE 0.) (1REMAINDER 3X (QUOTE 2.))) (QUOTE 1TRUE)) (T (QUOTE 1FALSE)))) 
(DEFUN 1SQUARE (3X) (1TIMES 3X 3X)) 
(DEFUN 1SUBST2 (3NEW 3OLD 3TERM) (COND ((NEQ (1NUMBERP 3TERM) 1F) 3TERM) ((NEQ (1LITATOM 3TERM) 1F) (COND ((EQUAL 3OLD 3TERM) 3NEW) (T 3TERM))) ((AND (PAIRP 3TERM) (NEQ (CAR 3TERM) (QUOTE 1QUOTE))) (CONS (CAR 3TERM) (CONS (1SUBST2 3NEW 3OLD (1CAR (CDR 3TERM))) (CONS (1SUBST2 3NEW 3OLD (1CAR (1CDR (CDR 3TERM)))) (QUOTE NIL))))) (T 3TERM))) 
(DEFUN 1CRYPT (3M 3E 3N) (LET NIL (COND ((NEQ (1ZEROP 3E) 1F) (QUOTE 1.)) ((NEQ (1EVEN 3E) 1F) (1REMAINDER (1SQUARE (1CRYPT 3M (1QUOTIENT 3E (QUOTE 2.)) 3N)) 3N)) (T (1REMAINDER (1TIMES 3M (1REMAINDER (1SQUARE (1CRYPT 3M (1QUOTIENT 3E (QUOTE 2.)) 3N)) 3N)) 3N))))) 
(DEFUN 1PDIFFERENCE (3A 3B) (COND ((NEQ (1LESSP 3A 3B) 1F) (1DIFFERENCE 3B 3A)) (T (1DIFFERENCE 3A 3B)))) 
(DEFUN 1ALL-DISTINCT (3L) (LET ((2TEMP1 (QUOTE 1X))) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE 1TRUE)) (T (1AND (1NOT (1MEMBER (1CAR 3L) (SETQ 2TEMP1 (1CDR 3L)))) (1ALL-DISTINCT 2TEMP1)))))) 
(DEFUN 1ALL-LESSEQP (3L 3N) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE 1TRUE)) (T (1AND (1NOT (1LESSP 3N (1CAR 3L))) (1ALL-LESSEQP (1CDR 3L) 3N))))) 
(DEFUN 1ALL-NON-ZEROP (3L) (COND ((NEQ (1NLISTP 3L) 1F) (QUOTE 1TRUE)) (T (1AND (1NOT (1ZEROP (1CAR 3L))) (1ALL-NON-ZEROP (1CDR 3L)))))) 
(DEFUN 1POSITIVES (3N) (COND ((NEQ (1ZEROP 3N) 1F) (QUOTE NIL)) (T (CONS 3N (1POSITIVES (1SUB1 3N)))))) 
(DEFUN 1PIGEON-HOLE-INDUCTION (3L) (LET ((2TEMP1 (QUOTE 1X))) (COND ((AND (PAIRP 3L) (NEQ (CAR 3L) (QUOTE 1QUOTE))) (COND ((NEQ (1MEMBER (SETQ 2TEMP1 (1LENGTH 3L)) 3L) 1F) (1PIGEON-HOLE-INDUCTION (1DELETE 2TEMP1 3L))) (T (1PIGEON-HOLE-INDUCTION (CDR 3L))))) (T (QUOTE 1TRUE))))) 
(DEFUN 1S (3N 3M 3P) (COND ((NEQ (1ZEROP 3N) 1F) (QUOTE NIL)) (T (CONS (1REMAINDER (1TIMES 3M 3N) 3P) (1S (1SUB1 3N) 3M 3P))))) 
(COMPILE-IF-APPROPRIATE-AND-POSSIBLE LIB-ATOMS-WITH-DEFS)